-
1 закон перестановки кванторов
Mathematics: law of alteration of quantifiersУниверсальный русско-английский словарь > закон перестановки кванторов
-
2 закон перестановки кванторов
Русско-английский научно-технический словарь Масловского > закон перестановки кванторов
-
3 law of alteration of quantifiers
English-Russian scientific dictionary > law of alteration of quantifiers
-
4 law of alteration of quantifiers
Математика: закон перестановки кванторовУниверсальный англо-русский словарь > law of alteration of quantifiers
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия